\section{Introduction}

\subsection{Motivation}

\frame
{
  \frametitle{Example: fleet of vehicles}


A web front-end to monitor and control a fleet of vehicles: 

\begin{itemize}


\item Each vehicle can be queried on its status by the web server, or can push
its status to the web server frequently

\item The users can monitor the status of their fleet of vehicles on the
website 

\item Commands can be sent from the user to the vehicles through the web
service

\item Users should also be able to initiate transfer of data/state between the
vehicles


\item In the case of emergency, state should be sent (pushed) automatically by
the vehicles to the server


\end{itemize}


}











